Issue3124.agda:10,15-34
Cannot split on argument of irrelevant datatype (Squash A)
when checking the definition of .extendedlambda0
